An Algebra of Pure Quantum Programming

نویسندگان

  • Thorsten Altenkirch
  • Jonathan Grattage
  • Juliana Kaizer Vizzotto
  • Amr Sabry
چکیده

We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously developed denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisation-by-evaluation approach. The current work focuses on the pure fragment of QML, omitting measurements.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Decomposition of ideals into pseudo-irreducible ideals in amalgamated algebra along an ideal

Let $f : A rightarrow B$ be a ring homomorphism and $J$ an ideal of $B$. In this paper, we give a necessary and sufficient condition for the amalgamated algebra along an ideal $Abowtie^fJ$ to be $J$-Noetherian. Then we give a characterization for pseudo-irreducible ideals of $Abowtie^fJ$, in special cases.

متن کامل

Hermitian metric on quantum spheres

The paper deal with non-commutative geometry. The notion of quantumspheres was introduced by podles. Here we define the quantum hermitianmetric on the quantum spaces and find it for the quantum spheres.

متن کامل

اثر ثابت های جفت شدگی بین نزدیکترین همسایه ها درسیم وحلقه کوانتومی جفت شده

The electronic transport in an infinite arrays of driven quantum wells coupled to a quantum ring is studied via a single-band tunneling tight-biding Hamiltonian by perturbing and numerical simulations approaches. In the perturbing approach, an analytical relationship in terms of the coupling constants between nearest-neighbors in quantum wire coupled to a ring based on the quantum dynamical alg...

متن کامل

Topological Analysis and Quantum Mechanical Structure of C4 and C5 Pure Carbon Clusters

Two bonding models i.e cumullenic and acetylenic models have been proposed to account for thebonding patterns in linear carbon clusters while the bonding patterns in cyclic and 3D geometrieS of theseclusters have remained ambiguous.This work presents the bonding patterns in various C4 and C5 pure clusters at MP2/aug-cc-pVTZ level oftheory. This subject is studied in the light of modern bonding ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 170  شماره 

صفحات  -

تاریخ انتشار 2007